Regularity of solutions to higher-order integrals of the calculus of variations

We obtain new regularity conditions for problems of calculus of variations with higher-order derivatives. As a corollary, we get non-occurrence of the Lavrentiev phenomenon. Our main regularity result asserts that autonomous integral functionals with a Lagrangian having coercive partial derivatives with respect to the higher-order derivatives admit only minimizers with essentially bounded derivatives

Heavy Viable Trajectories of Controlled Systems

We define and study the concept of heavy viable trajectories of a controlled system with feedbacks. Viable trajectories are trajectories satisfying at each instant given constraints on the state. The controls regulating viable trajectories evolve according a set-valued feedback map. Heavy viable trajectories are the ones which are associated to the controls in the feedback map whose velocity has at each instant the minimal norm. We construct the differential equation governing the evolution of the controls associated to heavy viable trajectories and we prove their existence

Non-smooth optimization methods for computation of the conditional value-at-risk and portfolio optimization

We examine numerical performance of various methods of calculation of the Conditional Value-at-risk (CVaR), and portfolio optimization with respect to this risk measure. We concentrate on the method proposed by Rockafellar and Uryasev in (Rockafellar, R.T. and Uryasev, S., 2000, Optimization of conditional value-at-risk. Journal of Risk, 2, 21-41), which converts this problem to that of convex optimization. We compare the use of linear programming techniques against a non-smooth optimization method of the discrete gradient, and establish the supremacy of the latter. We show that non-smooth optimization can be used efficiently for large portfolio optimization, and also examine parallel execution of this method on computer clusters.<br /

Variations, approximation, and low regularity in one dimension

We investigate the properties of minimizers of one-dimensional variational problems when the Lagrangian has no higher smoothness than continuity. An elementary approximation result is proved, but it is shown that this cannot be in general of the form of a standard Lipschitz "variation". Part of this investigation, but of interest in its own right, is an example of a nowhere locally Lipschitz minimizer which serves as a counter-example to any putative Tonelli partial regularity statement. Under these low assumptions we find it nonetheless remains possible to derive necessary conditions for minimizers, in terms of approximate continuity and equality of the one-sided derivatives.Comment: v3, 60 pages. To appear in CoVPDE. Minor cosmetic correction

On a Convex Set with Nondifferentiable Metric Projection

A remarkable example of a nonempty closed convex set in the Euclidean plane for which the directional derivative of the metric projection mapping fails to exist was constructed by A. Shapiro. In this paper, we revisit and modify that construction to obtain a convex set with smooth boundary which possesses the same property

Differential calculus with imprecise input and its logical framework

We develop a domain-theoretic Differential Calculus for locally Lipschitz functions on finite dimensional real spaces with imprecise input/output. The inputs to these functions are hyper-rectangles and the outputs are compact real intervals. This extends the domain of application of Interval Analysis and exact arithmetic to the derivative. A new notion of a tie for these functions is introduced, which in one dimension represents a modification of the notion previously used in the one-dimensional framework. A Scott continuous sub-differential for these functions is then constructed, which satisfies a weaker form of calculus compared to that of the Clarke sub-gradient. We then adopt a Program Logic viewpoint using the equivalence of the category of stably locally compact spaces with that of semi-strong proximity lattices. We show that given a localic approximable mapping representing a locally Lipschitz map with imprecise input/output, a localic approximable mapping for its sub-differential can be constructed, which provides a logical formulation of the sub-differential operator

Proximal Analysis and the Minimal Time Function of a Class of Semilinear Control Systems

The minimal time function of a class of semilinear control systems is considered in Banach spaces, with the target set being a closed ball. It is shown that the minimal time functions of the Yosida approximation equations converge to the minimal time function of the semilinear control system. Complete characterization is established for the subdifferential of the minimal time function satisfying the Hamilton–Jacobi–Bellman equation. These results extend the theory of finite dimensional linear control systems to infinite dimensional semilinear control systems